Approximate set union via approximate randomization

نویسندگان

چکیده

We develop a randomized approximation algorithm for the size of set union problem |A1∪A2∪...∪Am|, which is given list sets A1,...,Am with approximate mi Ai mi∈((1−βL)|Ai|, (1+βR)|Ai|), and biased random generators probability Prob(x=RandomElement(Ai))∈[1−αL|Ai|,1+αR|Ai|] each input element x∈Ai, where i=1,2,...,m αL,αR,βL,βR∈(0,1). The ratio |A1∪A2∪...∪Am| in range [(1−ϵ)(1−αL)(1−βL),(1+ϵ)(1+αR) (1+βR)] any ϵ∈(0,1). complexity measured by both time round complexity. One has non-adaptive accesses to those RandomElement(Ai) functions 1≤i≤m, membership queries (x∈Ai?) 1≤i≤m. Our gives an scheme O(m⋅(log⁡m)7) running O(log⁡m) rounds contrast existing [1] that needs Ω(m) worst case O((1+ϵ)m/ϵ2) time, m number sets. flexible tradeoff O(m1+ξ) O(1ξ) ξ∈(0,1). runs sublinear under certain condition A1∪A2∪...∪Am belongs ma fixed a>0, our best knowledge, we have not seen results about this problem. can handle generate elements bias, its depends on bias. prove it #P-hard count lattice points balls, also show there no polynomial intersection n-dimensional balls unless P=NP. As applications algorithm, propose algorithms counting high dimensional maximal coverage balls.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Approximate Set Union Via Approximate Randomization

We develop an randomized approximation algorithm for the size of set union problem |A1 ∪ A2 ∪ ... ∪ Am|, which given a list of sets A1, ..., Am with approximate set size mi for Ai with mi ∈ ((1− βL)|Ai|, (1 + βR)|Ai|), and biased random generators with Prob(x = RandomElement(Ai)) ∈ [ 1−αL |Ai| , 1+αR |Ai| ] for each input set Ai and element x ∈ Ai, where i = 1, 2, ..., m. The approximation rati...

متن کامل

AISC: Approximate Instruction Set Computer

This paper makes the case for a single-ISA heterogeneous computing platform, AISC, where each compute engine (be it a core or an accelerator) supports a different subset of the very same ISA. An ISA subset may not be functionally complete, but the union of the (per compute engine) subsets renders a functionally complete platform-wide single ISA. Tailoring the microarchitecture of each compute e...

متن کامل

Approximate Association via Dissociation

A vertex set X of a graph G is an association set if each component of G − X is a clique, or a dissociation set if each component of G − X is a single vertex or a single edge. Interestingly, G − X is then precisely a graph containing no induced P3’s or containing no P3’s, respectively. We observe some special structures and show that if none of them exists, then the minimum association set prob...

متن کامل

Abstraction via Approximate Symmetry

ion via Approximate Symmetry Thomas Ellman Department of Computer Science Rutgers University New Brunswick, NJ 08903 [email protected] LCSR-TR-199 Abstract Abstraction techniques are important for solving constraint satisfaction problems with global constraints and low solution density. In the presence of global constraints, backtracking search is unable to prune partial solutions. It there...

متن کامل

Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction

We propose a novel approach for computing weakest liberal safe preconditions of programs. The standard approaches, which call for either underapproximation of a greatest fixed point, or complementation of a least fixed point, are often difficult to apply successfully. Our approach relies on a different decomposition of the weakest precondition of loops. We exchange the greatest fixed point for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2021

ISSN: ['1879-2294', '0304-3975']

DOI: https://doi.org/10.1016/j.tcs.2021.09.016